struct A{
  int a;
  bool b;
  struct A *c;
};

/*@*/
int main(){
  struct A * a;  
  int i;
  i = 8;
  a = alloc (struct A);
  a->c = alloc (struct A);
  a->c->c = alloc (struct A);
  a->c->c->c = a->c;
  free (a);
  while (i > 0)
  {
    a = alloc (struct A);
    i = i-1;
  }
  return 0;
}
/*@*/
